翻訳と辞書 Words near each other ・ Logic-Based Therapy ・ Logica ・ Logica nova ・ Logica Universalis ・ Logical abacus ・ Logical access control ・ Logical address ・ Logical Analysis and History of Philosophy ・ Logical assertion ・ Logical atomism ・ Logical behaviorism ・ Logical biconditional ・ Logical block addressing ・ Logical clock ・ Logical conjunction ・ Logical connective ・ Logical consequence ・ Logical constant ・ Logical cube ・ Logical data model ・ Logical Decisions ・ Logical depth ・ Logical Design Works ・ Logical determinism ・ Logical disjunction ・ Logical disk ・ Logical Disk Manager ・ Logical effort ・ Logical equality ・ Logical equivalence Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Logical connective ： ウィキペディア英語版 Logical connective In logic, a logical connective (also called a logical operator) is a symbol or word used to connect two or more sentences (of either a formal or a natural language) in a grammatically valid way, such that the sense of the compound sentence produced depends only on the original sentences. The most common logical connectives are binary connectives (also called dyadic connectives) which join two sentences which can be thought of as the function's operands. Also commonly, negation is considered to be a unary connective. Logical connectives along with quantifiers are the two main types of logical constants used in formal systems such as propositional logic and predicate logic. Semantics of a logical connective is often, but not always, presented as a truth function. A logical connective is similar to but not equivalent to a conditional operator. ==In language== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Logical connective」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.